An Algebra for Block Diagram Languages
نویسندگان
چکیده
We propose an algebraic approach to block diagram construction as an alternative to the classical graph approach inspired by dataflow models. The proposed algebra is based on three binary operations of construction : sequential, parallel and recursive constructions. These operations can be seen as high level connection schemes that set several connections at once in order to combine two block diagrams to form a new one. Algebraic representations have interesting application for visual languages based on block diagrams and are useful to specify the formal semantic of this languages.
منابع مشابه
An Algebraic approach to Block Diagram Constructions
We propose an algebraic approach to block diagram construction as an alternative to the classical graph approach inspired by dataflow models. This block diagram algebra is based on three binary operations : sequential, parallel and recursive constructions. These operations can be seen as high level connection schemes that set several connections at once in order to combine two block diagrams to...
متن کاملStream- and State-Based Semantics of Hierarchy in Block Diagrams
Block diagrams are often used in embedded system design for modeling both plant and controller, typically with continuous and discrete modeling, respectively. Though easy to use, advanced users and implementers of these languages often run afoul of subtle semantic problems these seemingly simple languages can have. Based on the streamand state-based approaches, this paper discusses how the spec...
متن کاملSyntactic Variety in Boundary Logic
Boundary logic is a formal diagrammatic system that combines Peirce's Entitative Graphs with Spencer Brown's Laws of Form. Its conceptual basis includes boundary forms composed of non-intersecting closed curves, voidsubstitution (deletion of irrelevant structure) as the primary mechanism of reduction, and spatial pattern-equations that define valid transformations. Pure boundary algebra, free o...
متن کاملHierarchical Hybrid Block Diagrams
Block diagram languages are now commonly used to design and even implement embedded systems. In the design phase, they are used to model both plant and controller, typically with continuous and discrete modeling respectively. The semantics of these languages are often vague and/or complex, which is fine for some users but leaves others puzzled by the behaviors they observe. This paper presents ...
متن کاملAn Abstract Block Formalism for Engineering Systems
We propose an abstract block diagram formalism based on the notions of a signal as a time-varying quantity, a block as a signal transformer, a connection between blocks as a signal equality constraint, and a block diagram as a collection of interconnected blocks. It does not enforce implementation details (like internal state-space) or particular kinds of dynamic behavior (like alternation of d...
متن کامل